1. Logical Analysis of Hybrid Systems: Proving Theorems for Complex Dynamics
پدیدآورنده : / Platzer (auth.)فAndr
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : CONTROL SYSTEMS|ENGINEERING, MULTIDISCIPLINARY&COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|AUTOMATION
رده :
E-BOOK